This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...